Fuzzy algebras as models of fuzzy theories
نویسنده
چکیده
In this paper we contribute to the model theory of fuzzy logic in narrow sense The main topic is to demonstrate that analogues of the classical theorems characterizing the relation beween the form of axioms of a theory and the structure of the corresponding class of its models can be proved also in fuzzy logic Here we will prove theorem stating that every submodel of a model of a fuzzy theory is its model i its axioms are universal formulas Our insipration comes from the book of C C Chang and H J Keisler
منابع مشابه
POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملTopology Change for Fuzzy Physics: Fuzzy Spaces as Hopf Algebras
Fuzzy spaces are obtained by quantizing adjoint orbits of compact semi-simple Lie groups. Fuzzy spheres emerge from quantizing S and are associated with the group SU(2) in this manner. They are useful for regularizing quantum field theories and modeling spacetimes by non-commutative manifolds. We show that fuzzy spaces are Hopf algebras and in fact have more structure than the latter. They are ...
متن کاملINTERVAL-VALUED FUZZY B-ALGEBRAS
In this note the notion of interval-valued fuzzy B-algebras (briefly,i-v fuzzy B-algebras), the level and strong level B-subalgebra is introduced.Then we state and prove some theorems which determine the relationshipbetween these notions and B-subalgebras. The images and inverse images ofi-v fuzzy B-subalgebras are defined, and how the homomorphic images andinverse images of i-v fuzzy B-subalge...
متن کاملREDEFINED FUZZY SUBALGEBRAS OF BCK/BCI-ALGEBRAS
Using the notion of anti fuzzy points and its besideness to and nonquasi-coincidence with a fuzzy set, new concepts in anti fuzzy subalgebras in BCK/BCI-algebras are introduced and their properties and relationships are investigated.
متن کاملHigher dimensional geometries related to Fuzzy odd-dimensional spheres
We study SO(m) covariant Matrix realizations of ∑m i=1 X 2 i = 1 for even m as candidate fuzzy odd spheres following hep-th/0101001. As for the fuzzy four sphere, these Matrix algebras contain more degrees of freedom than the sphere itself and the full set of variables has a geometrical description in terms of a higher dimensional coset. The fuzzy S is related to a higher dimensional coset SO(2...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999